Extension and Implementation of CHR
نویسنده
چکیده
AGGREGATES: •J. Sneyers, P. Van Weert, and T. Schrijvers. Aggregates for Constraint Handling Rules. In Proc. 4th Intl. Workshop on Constraint Handling Rules, Porto, Portugal, pp.91-105, 2007 •P. Van Weert, J. Sneyers, and B. Demoen. Aggregates for CHR through Program Transformation. In LOPSTR '07: 17th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 4915 of LNCS, Kongens Lyngby, Denmark, 2008
منابع مشابه
Study of Educational-extension strategies for optimal water consumption management to deal with drought in the border area of Dorrh section of Sarbisheh city, South Khorasan province
The Agricultural Sector has the highest share in creating the water crisis in Iran; therefore managing optimal use of water resources is inevitable. The purpose of this study is to investigate educational- extension strategies for optimal water consumption management to deal with drought in Dorroh section. This research was conducted by survey method and the data were collected using a question...
متن کاملPros and Cons of Using CHR for Type Inference
We report on using logic programming and in particular the Constraint Handling Rules extension of Prolog to provide static type analysis for the Q functional language. We discuss some of the merits and difficulties of CHR that we came across during implementation of a type inference tool.
متن کاملGuard and Continuation Optimization for Occurrence Representations of CHR
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new operational semantics for occurrence representations, equivalent to the widely implemented refined operational semantics. The occurrence representation allows in a natural way to express guard and continuation optimiz...
متن کاملTowards a Generic Trace for Rule Based Constraint Reasoning
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their testing and debugging phases. Current CHR implementations support those phases by offering tracing facilities with limited information.In this paper, we propose a new trace for CHR which contains enough information to ...
متن کاملImplementation of an F-Logic Kernel in CHR
Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language, rewriting constraints in relational syntax. Frame-Logic is an extension of classical predicate logic which accounts in a declarative way for many features of object-orientation. This exploratory paper gives a concise CHR implementation of Frame-Logic’s core features, including object-oriented constraint synt...
متن کاملVisualization of CHR through Source-to-Source Transformation
In this paper, we propose an extension of Constraint Handling Rules (CHR) with different visualization features. One feature is to visualize the execution of rules applied on a list of constraints. The second feature is to represent some of the CHR constraints as objects and visualize the effect of CHR rules on them. To avoid changing the compiler, our implementation is based on source-to-sourc...
متن کامل